More from this Author

Seismic Hazard and Risk Assessment

by Radu V&#259, c&#259, reanu (Editor), Constantin Ionescu (Editor)

Computer Aided Verification

by Daniel Kroening (Editor), Corina S. P&#259, s&#259, reanu (Editor)

Computer Aided Verification

by Daniel Kroening (Editor), Corina S. P&#259, s&#259, reanu (Editor)